欧盟科技报告管理体系初探

作为记载科研活动的重要文献资料,科技报告对于科研管理具有重要的不可替代的作用.作者通过多途径的调查研究,理清了欧盟科研管理的组织机构,并在此基础上,较为系统地从科技报告的撰写、提交、知识产权以及科技报告的管理等方面,对欧盟科技报告管理体系进行了较为全面的介绍.     

单通道通讯模式异步流水线控制器

为了实现异步电路在实际应用中的低功耗、高性能特性,提出了一种基于单通道通讯协议的高速异步流水线控制单元和一种使用Muller C单元的高鲁棒性的QDI(quasidelay insensitive)异步流水线控制单元。第1种异步流水线控制单元采用独立的正反向响应电路,使得比近期提出的超高速异步流水线控制单元GasP电路的正向响应减小了50%的信号翻转。该电路使用TSMC 0.25μm CMOS工艺实现,HSPICE模拟结果表明与GasP电路相比正向响应时间减少38.1%,可以工作在2.2 GHz;第2种控制器与流行的QDI异步控制器STFB(single-track full-buffer)电路相比,以较少的面积代价,实现了时序验证上的极大简化。     

固化盐渍土的自生体积稳定性

为避免盐渍土在固化过程中可能发生的体积变形危害,研究其自生体积稳定性。制备了290mm长的试件,利用高精度位移测量系统,测试了不同含量的氯盐与硫酸盐在不同固化剂体系下引起的固化土的线性膨胀/收缩率,分析了C a2 、N a 以及含水率对膨胀/收缩率的影响。结果表明:固化氯盐盐渍土不会发生较大的体积变形,而固化硫酸盐盐渍土可能引起巨大的膨胀率;采用矿渣-粉煤灰-水泥复合固化剂,参与化学反应而产生膨胀性产物的C a2 减少,可以降低固化盐渍土的膨胀率。当C a2 不足而N a 充分时,氯盐和硫酸盐不会对化学反应起促进作用。含水率会影响固化土结构的疏密程度以及膨胀性产物的生长位置。     

一种信息审计系统中的多关键字匹配算法

针对审计系统中搜索大量审计数据的需要,设计了一种基于哈希表机制的多关键字匹配算法.该算法把关键字集合储存到哈希表中,并为关键字集合建立了两个过滤表和一个关键字长度类型表.在查找过程中,对未经过滤表验证的字符串不再进行匹配查找,同时,关键字长度类型表的使用减少了循环的次数.测试结果表明,该算法在速度和精度上都优于BM和mgrep算法.     

一个可靠指标计算公式的误差分析

对美国桥梁设计规范中计算可靠指标的一个公式进行分析,认为该公式是近似的,并指出了其近似的原因。分别采用该公式和蒙特卡罗法计算可靠指标,计算结果表明该公式的误差高达30%,远远超出工程容许范围。因此在工程上应用该公式进行可靠指标计算是不合适的。     

论数学中的公理化方法

本文介绍了公理化方法的发展历程,并就公理化方法所表现的形式及存在的优劣性进行了比 较研究。     

峡江方言的人称代词

峡江方言的人称代词主要有三身代词我、你、渠、我叽、我吧、你叽、渠叽以及非三身代词自家、口口[p‘iaη~(44)·ηa]、人家、大家。全文对它们的语音形式作了详细描写,并通过与普通话中的相应形式的比较,逐个分析它们的意义指称对象和语法功能,其中有些人称代词在语用中还会发生转义,文中将其概括为虚指、泛指和转指三种情况。     

入世后西部地区如何抑制第二次人才快速外流

加入WTO后，跨国公司和东部企业为争夺人才竞相出台了优惠的政策，导致了西部地区继改革开放之后第二次人才快速外流。西部地区必须从政府宏观和企业微观两个层面着手，采取一系列积极有效的政策措施，来抑制人才的快速外流。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

凤凰村的追踪研究

通过对中国华南沿海地区凤凰村的追踪研究 ,就美国社会学家葛学溥《华南农村生活》一书的主要贡献进行了分析 ,对其提出的核心概念“家族主义”作出了反思 ,并阐述了人类学追踪研究的意义。